Stehr, Mark-Oliver : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (26)
Les plus populaires
Liste
- Liste
- Tableau

1

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 370 KB

english, 2006

2

Plan in Maude Specifying an Active Network Programming Language

Mark-Oliver Stehr, Carolyn L. Talcott

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 192 KB

english, 2004

3

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Higher-Order and Symbolic Computation

Année:

2007

Langue:

english

Fichier:

PDF, 491 KB

english, 2007

4

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Planning and learning algorithms for routing in Disruption-Tolerant Networks

Stehr, Mark-Oliver, Talcott, Carolyn

Année:

2008

Langue:

english

Fichier:

PDF, 329 KB

english, 2008

5

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 266 KB

english, 2001

6

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 432 KB

english, 2005

7

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian

Journal:

Journal of Internet Services and Applications

Année:

2012

Langue:

english

Fichier:

PDF, 483 KB

english, 2012

8

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing

Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha

Journal:

Journal of Parallel and Distributed Computing

Année:

2012

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2012

9

A distributed logic for Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 667 KB

english, 2013

10

Tailoring consistency in group membership for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Future Generation Computer Systems

Année:

2014

Langue:

english

Fichier:

PDF, 2.46 MB

english, 2014

11

[IEEE MILCOM 2013 - 2013 IEEE Military Communications Conference - San Diego, CA, USA (2013.11.18-2013.11.20)] MILCOM 2013 - 2013 IEEE Military Communications Conference - ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge

Wood, Samuel, Mathewson, James, Joy, Joshua, Stehr, Mark-Oliver, Kim, Minyoung, Gehani, Ashish, Gerla, Mario, Sadjadpour, Hamid, Garcia-Luna-Aceves, J.J.

Année:

2013

Langue:

english

Fichier:

PDF, 498 KB

english, 2013

12

[IEEE 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks - Dublin, Ireland (2007.04.17-2007.04.20)] 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks - A Policy Engine for Spectrum Sharing

Denker, Grit, Elenius, Daniel, Senanayake, Rukman, Stehr, Mark-Oliver, Wilkins, David

Année:

2007

Langue:

english

Fichier:

PDF, 684 KB

english, 2007

13

[IEEE 2011 International Conference on Collaboration Technologies and Systems (CTS) - Philadelphia, PA, USA (2011.05.23-2011.05.27)] 2011 International Conference on Collaboration Technologies and Systems (CTS) - Tailoring group membership consistency for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Talcott, Carolyn, Stehr, Mark-Oliver

Année:

2011

Langue:

english

Fichier:

PDF, 1004 KB

english, 2011

14

Policy-Based Cognitive Radios

Wilkins, David, Denker, Grit, Stehr, Mark-Oliver, Elenius, Daniel, Senanay, Rukmam, Talcott, Carolyn

Journal:

IEEE Wireless Communications

Année:

2007

Langue:

english

Fichier:

PDF, 93 KB

english, 2007

15

[IEEE 2008 International Symposium on Collaborative Technologies and Systems (CTS) - Irvine, CA, USA (2008.05.19-2008.05.23)] 2008 International Symposium on Collaborative Technologies and Systems - Formal specification of agent-object oriented programs

Pagliarecci, Francesco, Spalazzi, Luca, Stehr, Mark-Oliver, Talcott, Carolyn L.

Année:

2008

Langue:

english

Fichier:

PDF, 296 KB

english, 2008

16

[IEEE 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Riverside, CA, USA (2006.12.18-2006.12.20)] 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-oliver, Talcott, Carolyn

Année:

2006

Langue:

english

Fichier:

PDF, 369 KB

english, 2006

17

[IEEE 2010 IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC) (Co-Located with CSE 2010) - Hong Kong, China (2010.12.11-2010.12.13)] 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Kim, Jinwoo, Ha, Soonhoi

Année:

2010

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2010

18

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Elenius, Daniel, Denker, Grit, Stehr, Mark-Oliver, Senanayake, Rukman, Talcott, Carolyn, Wilkins, David

Année:

2007

Langue:

english

Fichier:

PDF, 885 KB

english, 2007

19

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Constraint Refinement for Online Verifiable Cross-Layer System Adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Année:

2008

Langue:

english

Fichier:

PDF, 4.83 MB

english, 2008

20

[ACM Press the 19th annual international conference - Miami, Florida, USA (2013.09.30-2013.10.04)] Proceedings of the 19th annual international conference on Mobile computing & networking - MobiCom '13 - Network coding for content-based intermittently connected emergency networks

Joy, Joshua, Yu, Yu-Ting, Gerla, Mario, Wood, Samuel, Mathewson, James, Stehr, Mark-Oliver

Année:

2013

Langue:

english

Fichier:

PDF, 7.05 MB

english, 2013

21

[IEEE 2014 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2014.10.6-2014.10.8)] 2014 IEEE Military Communications Conference - Adaptive Interest Modeling Improves Content Services at the Network Edge

Li, Hua, Costantini, Ralph, Anhalt, David, Alonso, Rafael, Stehr, Mark-Oliver, Talcot, Carolyn, Kim, Minyoung, McCarthy, Timothy, Wood, Samuel

Année:

2014

Langue:

english

Fichier:

PDF, 262 KB

english, 2014

22

[ACM Press the 3rd workshop - Toronto, Ontario, Canada (2004.10.19-2004.10.19)] Proceedings of the 3rd workshop on Adaptive and reflective middleware - - Exploring adaptability of secure group communication using formal prototyping techniques

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Année:

2004

Langue:

english

Fichier:

PDF, 270 KB

english, 2004

23

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Constraint refinement for online verifiable cross-layer system adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Année:

2008

Langue:

english

Fichier:

PDF, 333 KB

english, 2008

24

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Formal prototyping in early stages of protocol design

Goodloe, Alwyn, Gunter, Carl A., Stehr, Mark-Oliver

Année:

2005

Langue:

english

Fichier:

PDF, 518 KB

english, 2005

25

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Maximizing availability of content in disruptive environments by cross-layer optimization

Kim, Minyoung, Gehani, Ashish, Kim, Je-Min, Tariq, Dawood, Stehr, Mark-Oliver, Kim, Jin-soo

Année:

2013

Langue:

english

Fichier:

PDF, 2.56 MB

english, 2013

26

xTune

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2012

Langue:

english

Fichier:

PDF, 535 KB

english, 2012